$\vdash$  $\forall$$A$:Type. Id $\in$ $A$$\rightarrow$$A$